$\vdash$  $\forall$$A$:$\mathbb{P}$. Dec($A$) $\in$ $\mathbb{P}$